Search CORE

5 research outputs found

Efficient Model Checking: The Power of Randomness

Author: Kiviriga Andrej
Publication venue: Aalborg Universitetsforlag
Publication date: 01/01/2023
Field of study

Randomized reachability analysis in UPPAAL: fast error detection in timed systems*

Author: Kiviriga Andrej
Larsen Kim Guldstrand
Nyman Ulrik
Publication venue: 'Springer Science and Business Media LLC'
Publication date: 17/11/2022
Field of study

Randomized Reachability Analysis in Uppaal:Fast Error Detection in Timed Systems

Author: Kiviriga Andrej
Larsen Kim Guldstrand
Nyman Ulrik
Publication venue: 'Springer Science and Business Media LLC'
Publication date: 01/01/2021
Field of study

Monte Carlo Tree Search for Priced Timed Automata

Author: Guldstrand Larsen Kim
Høiriis Mortensen Jeppe
Jensen Peter Gjøl
Kiviriga Andrej
Mijačika Adriana
Nyman Ulrik
Publication venue: 'Springer Science and Business Media LLC'
Publication date: 01/01/2022
Field of study

JECDAR 0.2 - Model checking refinement relations for Timed I/O Automata

Author: Kiviriga Andrej
Klicius Napalys
Simionescu Cristina Ioana
Publication venue
Publication date: 01/01/2019
Field of study

core

core